A Parsing Method for Montague Grammars
نویسنده
چکیده
The main result in this paper is a method for obtaining derivation trees from sentences of certain formal grammars. No parsing algorithm was previously known to exist for these grammars. Applied to Montague’s FTQ the method produces all parses that cou!d correspond to different meanings. The technique directly addresses scope and reference and provides a framework for examining these phenomena. The solution for FTQ is implemented in an efficient and useful computer program. ‘Ibis research was supported in part by National Science Foundation Grants BNS 76-23840 and MC8 76-04297.
منابع مشابه
Using Semantics In Non-Context-Free Of Montague Grammar
In natural language processing, the question of the appropriate interaction of syntax and semantics during sentence analysis has long been of interest. Montague grammar with its fully formalized syntax and semantics provides a complete, well-defined context in which these questions can be considered. This paper describes how semantics can be used during parsing to reduce the combinatorial explo...
متن کاملMontague Grammars as Deductive Databases
This paper presents a technique for further applications of deductive databases in the eld of natural language processing. Although there were enormous research eeorts on analyzing the semantics of natural languages (NL), especially using Montague grammars (PTQ) for Prolog, corresponding programs for deductive databases are still missing, since range restriction is required in nearly all deduct...
متن کاملComputational semantics in type theory
This paper aims to show how Montague-style grammars can be completely formalized and thereby declaratively implemented by using the Grammatical Framework GF. The implementation covers the fundamental operations of Montague’s PTQ model: the construction of analysis trees, the linearization of trees into strings, and the interpretation of trees as logical formulas. Moreover, a parsing algorithm i...
متن کاملGrammars, Deductive Systems, and Parsing
Many theories of grammar and styles of grammar speciication have stemmed from mathematical logic, computer science, and computational linguistics, and have been used for describing natural languages. By a series of constructions, we relate categorial, attribute and logic grammars via (axiomatic) labelled deductive systems, and extend this relation to accommodate uniication-based grammars and so...
متن کاملResource Logics and Minimalist Grammars
This ESSLLI workshop is devoted to connecting the linguistic use of resource logics and categorial grammar to minimalist grammars and related generative grammars. Minimalist grammars are relatively recent, and although they stem from a long tradition of work in transformational grammar, they are largely informal apart from a few research papers. The study of resource logic, on the other hand, i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004